00400	<CLAUSES> ::= ;	=> EMPTY
00500		::=<C>;					=>C
00600	
00700	<C>     ::=<C1>,<C>				=>(C1.C)
00800		::=<C1>					=>(C1)
00900	
01000	<C1>    ::=@<S>					=>(STAT.S)
01100		::=DSK:<FILE>				=>(DSK.FILE)
01200		::=FIND[<ID>,<F1>]			=>(FIND ID F1)
01250	::= FINDC[<F1>] =>(FIND CLAUSES F1)
01300		::=<NUMBER>				=>NUMBER
01400		::=<ID>[<VARLIST>]			=>(ID.VARLIST)
01500		::=<ID>					=>ID
01600	
01700	<VARLIST>
01800		::=<NUMBER>,<VARLIST>			=>(NUMBER.VARLIST)
01900		::=<NUMBER>				=>(NUMBER)
02000	
02100	<FILE>  ::=<ID>					=>ID
02200		::=(<ID1>.<ID>)				=>(ID1.ID)
02300	
02400	<ID1>   ::=<ID>					=>ID
02500	
02550	<INPUT> ::= <DECOP>:<OPLIST>	=>(DECOP . OPLIST)
02562		::=<ID>: => ID
02575	  ::= <S> => *
02580	
02585	<OPLIST> ::= <OPL>; =>*
02595	<OPL> ::= <OP>,<OPL> =>(OP . OPL)
02597	    ::=  <OP> =>(OP)
02600	<S>     ::=;					=>EMPTY
02700		::=<G1>;				=>G1
02800	
02900	<G1>    ::=<G2>					=>G2
03000		::=<G1><EQUIV1><G2>			=>(EQUIV1 G1 G2)
03100	
03200	<G2>    ::=<G3>					=>G3
03300		::=<G2><IMP1><G3>			=>(IMP1 G2 G3)
03400	
03500	<G3>    ::=<G4>					=>G4
03600		::=<G3><OR1><G4>			=>(OR1 G3 G4)
03700	
03800	<G4>    ::=<G5>					=>G5
03900		::=<G4><AND1><G5>			=>(AND1 G4 G5)
04000	
04100	<G5>    ::=(<G1>)				=>G1
04200		::=<NOT1><G5>				=>(NOT1 G5)
04300		::=<QFF><BDY>				=>(QFF.BDY)
04400		::=<PRED>				=>PRED
04500	
04600	<BDY>   ::=<IVAR><G5>				=>((IVAR)G5)
04700		::=(<VLIST>)<G5>			=>(VLIST G5)
04800	
04900	<VLIST> ::=<IVAR>,<VLIST>			=>(IVAR.VLIST)
05000		::=<IVAR>				=>(IVAR)
05100	
05200	<IVAR>  ::=<VARIABLE>				=>VARIABLE
05300	
05400	<EQUIV1>::=≡					=>EQUIV
05500		::=↔					=>EQUIV
05600		::=IFF					=>EQUIV
05700	
05800	<IMP1>  ::=⊃					=>IMP
05900		::='→					=>IMP
06000		::='>					=>IMP
06100	
06200	<OR1>   ::=∨					=>OR
06300		::=V					=>OR
06400	
06500	<AND1>  ::=∧					=>AND
06600		::=&					=>AND
06700	
06800	<NOT1>  ::=¬					=>NOT
06900		::=-					=>NOT
07000	
07100	<QFF>   ::=∀					=>FA
07200		::=FA					=>FA
07300		::=∃					=>TE
07400		::=TE					=>TE
07500	
12200	END
12300	
12400	NIL